En toda sociedad, cada uno de sus componentes y cada una de sus instituciones cumplen un rol determinante. El rol de los medios de comunicación es vital para sustentar la socialización, habiendo llegado incluso a ser llamados elementos democratizadores. Pero hoy en día están operando en contra de sus reales funciones y asumiendo a todas luces comportamientos antiéticos. Esto no solamente se pone de manifiesto en el periodismo cada vez más desprestigiado, también está operando en los distintos formatos y géneros (...) de manera cada vez más acentuada. Los programas de entretenimiento incurren con frecuencia en la vulgaridad y con toda impunidad pisotean la Ley N° 28278, de tal manera que han llegado a generar la intervención del Poder Judicial, evidenciando que los medios de comunicación y los comunicadores no se pueden autorregular. Pero ¿por qué hemos llegado a esta crisis? ¿Qué pasó con los comunicadores, con los profesionales de la verdad? Es entonces cuando caemos en cuenta de que el comunicador, en sus distintas ramas, debe recuperar su identidad como profesional y no limitarse a ser solamente un buscador de likes o de rating. (shrink)

Texto presentado en el Congreso Internacional “Recepciones de Ortega y Gasset en Chile” celebrado en el Centro Cultural de España en Santiago durante los días 30 y 31 de mayo de 2018, en Santiago de Chile. Forma parte de la compilación recogida en número especial de la Revista de Filosofía Otrosiglo, en junio del 2023.

The Cooperative Extension System serves as the conduit through which scientific knowledge generated by the 130 land-grant colleges and universities in the United States is translated and delivered directly to its constituents. Since its inception over 100 years ago, Extension has been integral in developing, delivering, and applying cutting-edge knowledge in agriculture and natural resources, youth development, family and consumer sciences, and community and rural development. Today, more than ever, Extension will need to lead the way in building and maintaining (...) sustainable partnerships across disciplines and with organizations at the local, state, and national levels to tackle complex issues considering diminishing resources. Bringing together leading and emerging scholars, this volume discusses how Extension is addressing issues and opportunities relevant to children, youth, families, and communities across the country both now and in the future. Topics include Extension's role in supporting childcare, social media use, entrepreneurship, rural communities, and underserved audiences. (shrink)

The purpose is to retrace phenomenology's argumentative path towards temporality as the foundation of phenomenality as presentation. The next step is to construct another paradigm based on movement and the processes of differentiation involved in it. The confrontation between these two types of approach, one related to Husserl's genetic phenomenology, and the other which allows us to think of presuppositions for a phenomenology of difference and event based on Merleau-Ponty's lateral writings in the 1950s, serves to question the foundations of (...) this type of philosophy. The final aim is to show how space and time can be described from the point of view of movement. (shrink)

Ethical decision-making in school administration has received considerable attention in educational leadership literature. However, most research has focused on principals working in secondary school settings while studies that explore ethical reasoning processes of academic deans have been significantly few. This qualitative study aims to describe the ethical decision-making processes employed by a select group of Filipino college deans in solving ethical dilemmas using the ethical paradigms proposed in the works of Starratt (Educ Adm Q 27:185–202, 1991) and Shapiro and Stefkovich (...) (Ethical leadership and decision-making in education: applying theoretical perspectives to complex dilemmas, 2005) as frameworks for the analysis. Data was gathered using semi-structured interviews and field text was analyzed using deductive thematic analysis. Findings of this study show that majority of the deans chose to share ethical dilemmas involving students and teachers. The findings also show the ethical frameworks of care, justice, and profession as the dominant paradigms utilized by Filipino deans and their preference for adopting multiple ethical frameworks when making their decisions. Most of the ethical dilemmas which the deans narrated relate to their tasks of academic administration such as monitoring student performance, faculty evaluation and maintaining school discipline. Interestingly, only a few dilemmas involving university administrators were expressed, and dilemmas that refer to broader societal issues usually associated with school administrators’ utilization of the ethic of critique were also significantly left out in the narratives of this study. This paper intends to contribute to current literature by expanding research to administrators working in the context of higher education in the Philippine setting. The findings of this study could serve as knowledge base in designing ethics courses to enhance educational leaders’ ethical decision-making skills. The study also provides useful insights of ethical decisions and reasoning processes employed by academic administrators in resolving real life ethical dilemmas that could be useful at the practical level for aspiring and practicing deans. (shrink)

Resumo: Reconstruiu-se a semiologia geral elaborada nos escritos inacabados e indiretos de Saussure, recolocando sua noção de sentido próxima à de Deleuze e explicando-a por meio deste. Defende-se que toda teoria baseada na noção de “diferença” precisa dar conta do processo de individuação e, junto disso, por meio da descrição de dois níveis de diferenciação. Demonstra-se que isto é realizado por ambos os autores, para além e mesmo junto de suas divergências. Assim, o artigo recoloca a teoria do valor de (...) Saussure na aurora de uma filosofia da diferença, mostrando que este inaugura e mesmo “repete” as teses que Deleuze explicitamente defende, nos anos 1960.: The paper reconstruct the general semiology elaborated in Saussure’s unfinished and indirect writings, replacing his notion of meaning next to that of Deleuze, and explaining it through the latter. We argue that any theory based on the notion of “difference” needs to account for the individuation process and, together, through the description of two levels of differentiation. We demonstrate that this is accomplished by both authors, beyond and even with their disagreements. Thus, the article puts Saussure’s theory of value on the dawn of a philosophy of difference, showing that it inaugurates and even repeats the theses that Deleuze explicitly defends in the 1960s. (shrink)

This phenomenological study intends to capture and describe Filipino college deans’ lived experiences of ethical dilemmas as they carry out their work as administrators. Using semistructured in-depth interviews and following Collaizzi’s method, data was collected and subjected to cool and warm analyses yielding a set of themes and sub-themes that typify what these deans consider to be ethical dilemmas. The resulting ‘Wheel’ of School Leaders’ Ethical Dilemmas depicts the nature of the dilemmas faced by these deans, the critical incidents which (...) trigger the onset of the dilemmas, and the value conflicts that are embedded in them. This article intends to add to the growing body of research on ethical decision making in educational management, particularly on the ethical dilemmas faced by Filipino college deans. At a practical level, the findings of this study provide valuable resource to assist practicing and aspiring deans to be more adept in identifying the moral and ethical dimensions of their work as academic administrators. Finally the findings of this study could serve as a knowledge base for curriculum planners in designing ethics courses offered in educational leadership programs in the Philippines to develop academic leaders’competencies and skills in ethical decision making. (shrink)

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use (...) indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one. (shrink)

ABSTRACT In this paper we present a new semantic approach for propositional linear temporal logic with discrete time, strongly based in the well-order of IN (the set of natural numbers). We consider temporal connectives which express precedence, posteriority and simultaneity, and they provide a family of expressively complete temporal logics. The selection of the new semantics and connectives used in this work was principally to obtain a suitable executable temporal logic, which can be used for the specification and control of (...) process behaviour in discrete time in a similar way to thai presented by D. Gabbay in [GAB 89], Our new approach has two advantages: firstly, the connectives are defined intuitively so that they have interpretations which relate to properties of interest in real systems; secondly, it provides a new semantics that facilitates simpler proofs of many valid formulas and metatheorems. To confirm this second advantage, we use our semantics to give a formal proof of the Separation Theorem for one of these logics (specifically LN3). The great interest of this Separation Theorem for the executable temporal logic is emphasised by D. Gabbay in [GAB 89], [GAB 88]. (shrink)

ABSTRACT Most theorem provers for Classical Logic transform the input formula into a particular normal form. This tranformation is done before the execution of the algorithm or it is integrated into the deductive algorithm. This situation is no different for Non-Classical Logics and, particularly, for Temporal Logics. However, unlike classical logic, temporal logic does not provide an extension of the notion of non negative normal form. In this work, we define a temporal negative normal form for the future fragment of (...) the linear time propositional temporal logic, named FNext. The definition saves as much information as possible about implicants and implicates of the input formula and its subformulas. This property is the novelty of this normal form; for example, in [Fis97] the normal form is guided by the separation property and in [Ven86] the normal form provided prepares the input formula to be treated by a resolution method. Moreover, we also introduce an algorithm having linear cost, which transforms the input formula into a temporal negative normal form. Furthermore, in this work we present a new structure and a set of operators over it that allows us to efficiently manage the information about unitary implicants and implicates contained in the subformulae. (shrink)

Combining modalities has proven to have interesting applications and many approaches that combine time with other types of modalities have been developed. One of these approaches uses accessibility functions between flows of time to study the basic properties of the functions, such as being total or partial, injective, surjective, etc. The completeness of certain systems expressing many of these properties, with the exception of surjectivity, has been proven. In this paper we propose a language with nominals to denote the initial (...) and final sets of each function in a model in order to obtain a complete system for reasoning about surjective partial functions. (shrink)

The chapter reports on the findings of a grounded theory study on the moral sensitivity practice of Filipino college deans. It centers on the exposition of a conceptual model which expands the construct of moral sensitivity beyond the initial stage of moral problem recognition and depicts three processes of knowing facts, understanding people, and understanding oneself as fundamental processes to moral sensitivity. A set of seven distinct practices were also identified as subcomponents of moral sensitivity. The chapter concludes by highlighting (...) the level of complexity involved in moral problem identification in real-life settings and the consequent need for developing administrators’ moral sensitivity skills through formal courses in ethics as part of school administrator preparation programs. (shrink)

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

Sobre a continuidade metodológica em Michel Foucault: da fundamentação de uma teoria do enunciado para o cuidado de si Resumo: Uma das dificuldades em se compreender a categoria de enunciado no pensamento de Michel Foucault está relacionada com múltiplas definições tautológicas dessa categoria no livro A arqueologia do saber. O primeiro objetivo deste artigo é oferecer uma descrição do enunciado e sua íntima dependência do nível referencial no pensamento arqueológico de Michel Foucault. O segundo objetivo, interrelacionado ao primeiro objetivo, será (...) mostrar o quanto as reflexões que desembocaram na concepção “cuidado de si”, vieram à tona porque o fim da análise arqueológica é a reconstituição das práticas concretas de uma época que definiram as condições do dizer e evidenciavam os modos de saber, pois o nível referencial é o nível de maior relevância para a reconstituição histórica das práticas discursivas por fontes discursivas. Esse método trouxe à luz, a ideia de que o trabalho fundamental da arte, de que temos de cuidar, a área principal à qual se deve aplicar valores estéticos, é a si próprio, à própria existência. Consequentemente, para esse pesquisador, não temos que escolher entre o nosso mundo e o mundo grego, desde que se possa ver que alguns dos princípios mais importantes de nossa ética têm sido relacionados num certo momento a uma estética da existência. Palavras-chave: Enunciado; Referencial; Formação dos objetos; Cuidado de si; Foucault. On the methodological continuity in Michel Foucault: from the foundation of a theory of the statement to the care of the self Abstract: One of the difficulties in understanding the category of enunciation in Michel Foucault's thought is related to multiple tautological definitions of this category in the book The archeology of knowledge. The first objective of this article is to offer a description of the statement and its intimate dependence on the referential level in Michel Foucault's archaeological thought. The second objective, interrelated to the first objective, will show how the reflections that led to the concept of “self-care”, came to light because the end of the archaeological analysis is the reconstitution of the concrete practices of an era that defined the conditions of saying and evidenced the ways of knowing, because the referential level is the most relevant level for the historical reconstruction of discursive practices by discursive sources. This method brought to light, the idea that the fundamental work of art, that we have to take care of, the main area to which aesthetic values ​​must be applied, is itself, to existence itself. Consequently, for this researcher, we do not have to choose between our world and the Greek world, as long as it can be seen that some of the most important principles of our ethics have been related at a certain moment to an aesthetics of existence. Key-words: Statement; Referential; Formation of objects; Self-care; Foucault. Sobre la continuidad metodológica en Michel Foucault: de la fundación de una teoría del enunciado al cuidado del yo Resumen: Una de las dificultades para comprender la categoría de enunciaciado en el pensamiento de Michel Foucault está relacionada con las múltiples definiciones tautológicas de esta categoría en el libro La arqueología del saber. El primer objetivo de este artículo es ofrecer una descripción del enunciado y su íntima dependencia del nivel referencial en el pensamiento arqueológico de Michel Foucault. El segundo objetivo, interrelacionado con el primero, será mostrar cómo las reflexiones que llevaron al concepto de “cuidado de sií”, salieron a la luz porque el fin del análisis arqueológico es la reconstitución de las prácticas concretas de una época que definió las condiciones del decir y evidenció las formas de conocer, porque el nivel referencial es el nivel más relevante para la reconstrucción histórica de prácticas discursivas por fuentes discursivas. Este método sacó a la luz la idea de que la obra de arte fundamental, que tenemos que cuidar, el ámbito principal al que se deben aplicar los valores estéticos, es ella misma, la existencia misma. En consecuencia, para este investigador, no tenemos que elegir entre nuestro mundo y el mundo griego, siempre y cuando se pueda constatar que algunos de los principios más importantes de nuestra ética se han relacionado en un momento determinado con una estética de la existencia. Palabra clave: Enunciado; Referencial; Formación de objetos; Cuidado de sí; Foucault. Data de registro: 24/02/2021 Data de aceite: 01/12/2021. (shrink)

El objetivo del estudio se orientó a analizar el desarrollo socioemocional de niños(as) con habilidades diferentes que participaron en actividades de equinoterapia en la ciudad de Lima. La muestra del estudio, realizado con diseño fenomenológico, estuvo constituida por los padres o madres de familia que participaron en la implementación de actividades de equinoterapia y ofrecieron información de sus hijos(as) con autismo, síndrome de Down o trastorno por déficit de atención con y sin hiperactividad. El recojo de datos se utilizó un (...) cuestionario de preguntas abiertas que se enfocaron en las áreas social y emocional del desarrollo de niños(as), el cual fue administrado a 25 informantes, número que se alcanzó por saturación. Se encontró como resultado que los(as) niños(as) que participan en actividades de equinoterapia con enfoque holístico se ve favorecido su desarrollo socioemocional, referente a la relación de apego y control de emociones en el área emocional, y las relaciones. (shrink)

This essay originated from a re-reading of Umberto Eco's Six Walks in the Fictional Woods (1994) and from discussions of Charles Darwin's illnesses. The question of historical truth arises whenever we seek to validate a scientific analysis of a fictional incident. Whereas Darwin may actually have suffered from several health conditions, Robinson Crusoe's illness is the product of Daniel Defoe's imagination. But the search for a medical diagnosis must follow the same methods in both cases. After eight months as sole (...) inhabitant of his island, Crusoe is taken ill. A detailed description of the symptoms is duly registered in his diary, along with his attempts at finding its possible nature and origin. The island, according to Crusoe, lies in the tropical waters of the Caribbean Sea, not far from the coast of Venezuela. From the standpoint of medical geography, his illness is a tropical disease that was prevalent in South and Central America in the seventeenth century. Five possible diseases are suggested and discussed. (shrink)

Source: Author: Leonila C. Crisostomo, Ma. Teresa G. Generales, Amelita L. de Guzman The primary purpose of this study is to ascertain the benefits of the National Service Training Program implementation and to identify the problems encountered by its implementers. Results showed that the benefits derived from the program were topped by enhancement of skills on basic leadership with emphases on the ability to listen and ability to communicate which were rated very important and very much benefited among other training (...) aspects of the program. Results also revealed that students are aware of the importance of physical, mental and social health as well as the observance of proper hygiene for overall sense of well-being. Although recreation is one aspect that the respondents find important, appreciation of it underscores the need to have more time for assignments and projects as most of the respondents are enrolled in their respective courses with 29 units, making them unable to appreciate the perks of involving themselves into various recreational activities. Problems in the implementation showed lack of provision of materials and equipment and of budgetary allocation which rendered full implementation weak as students and faculty involved in the community immersion have to rely on their own resources, in addition to the indifference and passivity of the local government officials. Based on the findings, the researchers recommended that: the school administrators need to allocate adequate budget for materials and equipment; periodic faculty development trainings and; to look into the passive attitude of the local officials to ensure that implementation NSTP projects will benefit both clients and implementers. ]]>. (shrink)

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.

This article examined the personal profiles of the Heads of Government of countries in South/North America and how they communicated with their audiences on institutional measures to contain COVID-19. Analyses were carried out on data collected from Twitter from November-2019 to November-2020. This study includes: i)quantitative analysis, measuring categories and emphases in the communication of tweets, retweets, likes, and comments on matters relevant to the pandemic; ii)qualitative analysis that allowed evaluating speeches to identify political interference and the effectiveness of communication (...) at critical moments of the pandemic. It was possible to infer that each president has his singularities and understanding about Social Media’s use as a more direct communication tool with his audience. It was also found that successful communication is not directly proportional to the volume of messages on Twitter, but to socio-political aspects and institutional leadership that can make a difference in Social Media in combating COVID-19. (shrink)

This paper proposes a theoretical approach to discuss the relations among reality, chemists’ interactions with it, and the resulting interpretation and representation of the acquired scientific knowledge. Taking into account that such relations are of semiotic nature, this paper aims at discussing in the light of Peirce’s theory of signs different descriptions of chemical activity and chemical education proposed by Alex Johnstone and elaborated by other science educators. In order to discuss the contributions and limitations of the proposed theoretical framework, (...) and considering its potential interest for chemical education, an example on the communication strategies for the content ‘vapour pressure’ found in twentieth-century general chemistry university textbooks is also presented. (shrink)

The intention here is that of giving a formal underpinning to the idea of 'meaning-is-use' which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett-Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i. e. the so-called reduction rules. For that we suggest an (...) extension to the Curry-Howard interpretation which draws on the idea of labelled deduction, and brings back Frege's device of variable-abstraction to operate on the labels (i. e., proof-terms) alongside formulas of predicate logic. (shrink)

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...) to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time of (...) assertion/introduction.With the intention of demonstrating the generality of our framework, we provide a brief comparison with some other calculi of existentials, including the model-theoretic interpretations of Skolem and Herbrand, indicating the way in which some of the classical results on prenex normal forms can be extended to a wide range of logics. The essential ingredient is to look at the conceptual framework of labelled natural deduction as an attempted reconstruction of Frege's functional calculus where the devices of the Begriffsschrift work separately from, yet in harmony with, those of the Grundgesetze 1. (shrink)

Further to the connections between meaning and use, it seems useful to consider the consequences one is allowed to draw from a proposition as something directly related to its meaning/use. And indeed, Wittgenstein's references to the connections between meaning and the consequences, as well as between use and consequences are sometimes as explicit as his celebrated ‘definition’ of meaning as use given in the Investigations. Here we attempt to collect some of these references, discussing how an intuitive basis for the (...) construction of a more convincing proof-theoretic semantics for the mathematical language can arise out of this connection meaning/use/ consequences. (shrink)

En el presente trabajo se pretenderá ofrecer un esbozo de lo que el malrepresenta para el budismo. Se presentará la vida de buda y el momentoen que él es tentado antes de alcanzar la iluminación, o la liberacióndel mundo de los sentidos; ya que este momento se nos presentará comoel aspecto clave para entender lo que significa el mal para la religión deGotama. Se concluirá arguyendo que el mal no es sino el mundo de lossentidos y lo que busca el (...) budismo es liberarse del sufrimiento que estemundo terrenal causa; todo esto bajo la premisa implícita de que existeun mundo más consciente, ulterior a la existencia terrena, un mundo librede mal, libre de Mara “El Tentador”. (shrink)

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...) known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

O espaço geográfico é uma categoria da ciência geográfica que possibilita uma acentuada e complexa possibilidade de refletir a coletividade social, sendo que neste desafio são trazidas à tona inúmeras perspectivas de análises da relação homem-natureza. Dessa feita, o presente estudo elabora uma breve discussão acerca do espaço geográfico enquanto uma ferramenta de análise das relações sociais, além de evidenciar a sua centralidade no interior da Geografia. Ao longo do estudo estão colocadas algumas concepções teóricas desta categoria geográfica, com destaque (...) para os entendimentos elaborados pela Geografia Crítica, uma reflexão que propõem a necessidade de se politizar os sujeitos por intermédio do ensino, com destaque para os conteúdos geográficos ensinados por seus respectivos professores desde os primeiros anos do ensino fundamental. A busca aqui foi a de confirmar a capacidade que a Geografia possui em se utilizar do próprio espaço geográfico na qual os alunos estão inseridos enquanto materialidade para uma concepção própria de mundo, sendo que através desta conquista, se permite compreender e pensar a construção de uma sociedade pela e para a própria coletividade envolvida. É esta a grande questão discorrida no presente ensaio, pensar uma proposta de ensino na geografia que politize os sujeitos, permitindo assim a formação de sujeitos ativos e cientes do seu papel no mundo. (shrink)

SummaryLooking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...) role of proof rules, making use of a set of formal rules designed to capture both the notions of proof theory and those of the lambda‐calculus: Martin‐Löf's Intuitionistic Type Theory.RésuméSi on considère la théorie de la démonstration comme une tentative de ‘codifier’ les pas logiques d'une démonstration mathématique, on se rendra compte qu'on n'a pas répondu de façon satisfaisante à la question suivante: quelles sont les règies qui rendent complètement explicite le sens d'un connecteur logique? Le lambda‐calcul a été apparemment plus cohérent, tout simplement parce que l'utilisation du‘λ’ avec sa projection 'apply' est spécifiée par une regie de 'réduction': β‐conversion. Nous essayons d'analyser le rôle des règies de démonstration, en utilisant un système formel de règies conçu pour englober à la fois les notions de la théorie de la démonstration et celles du lambda‐calcul: la Théorie Intuitionniste des Types de Martin‐Löf.ZusammenfassungWenn man Beweistheorie als einen Versuch, ein allgemeines Muster der logischen Schritte in einem mathematischen Beweis zu kodifizieren, betrachtet, so scheint die Frage nach der Art von Regeln , die die Bedeutung von logischen Operatoren vollständig beschreiben, nicht zufriedenstellend beantwortet. Der Lambda‐Kalkül erscheint, kohärenter, einfach deshalb weil der Gebrauch von ‘λ’ zusammen mit dessen Projektion 'apply' durch Regeln bestimmt wird, die man 'Reduktions'‐Regeln nennen kann: β‐Konversion. Wir versuchen, die Rolle von Beweisregeln zu analysieren, indem wir ein Regelsystem verwenden, das sowohl die Begriffe der Beweistheorie als auch diejenigen des Lambda‐Kalküls erfasst, nämlich die Martin‐Löfsche Typentheorie. (shrink)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and (...) natural language and reasoning. (shrink)